Wyniki wyszukiwania:

The use of diagrams in logic and geometry has encountered resistance in recent years. For a proof to be valid in geometry, it must not rely on the graphical properties of a diagram. In logic, the teaching of proofs depends on sentenial representations, ideas formed as natural language sentences such as "If A is true and B is true...." No serious formal proof system is based on diagrams.
This book explores the reasons why structured graphics have been largely ignored in contemporary formal theories of axiomatic systems. In particular, it elucidates the systematic forces in the intellectual...

The use of diagrams in logic and geometry has encountered resistance in recent years. For a proof to be valid in geometry, it must not rely on the graphical properties of a diagram. In logic, the teaching of proofs depends on sentenial representations, ideas formed as natural language sentences such as "If A is true and B is true...." No serious formal proof system is based on diagrams.
This book explores the reasons why structured graphics have been largely ignored in contemporary formal theories of axiomatic systems. In particular, it elucidates the systematic forces in the intellectual...

A first attempt to develop a standardized agent communication language (ACL) resulted in KQML, probably the most widely used such language. However, a lot of technical work remains to be done. Even worse, so far, there seems to be little consensus on the basics of agent communication and there is no clear understanding of the semantics of individual speech acts or even of the basic concepts that should be used to define the semantics.
This book documents two workshops on communication in MAS held in 1999, one on Specifying and Implementing Conversation Policies (SICP) and the other in...