Displaying similar documents to “On some properties of grounding nonuniform sets of modal conjunctions”

Cocktail: a tool for deriving correct programs.

Michael Franssen, Harrie De Swart (2004)

RACSAM

Similarity:

Cocktail is a tool for deriving correct programs from their specifications. The present version is powerful enough for educational purposes. The tool yields support for many sorted first order predicate logic, formulated in a pure type system with parametric constants (CPTS), as the specification language, a simple While-language, a Hoare logic represented in the same CPTS for deriving programs from their specifications and a simple tableau based automated theorem prover for verifying...

Grounding and extracting modal responses in cognitive agents: 'AND' query and states of incomplete knowledge

Radosław Katarzyniak, Agnieszka Pieczynska-Kuchtiak (2004)

International Journal of Applied Mathematics and Computer Science

Similarity:

In this study an original way of modeling language grounding and generation for a simple set of language responses is presented. It is assumed that the language is used by a cognitive agent and consists of a few modal belief and possibility formulas that are used by this agent to communicate its opinions on the current state of an object. The cognitive agent is asked a simple AND query and the language is tailored to this situation. The agent's knowledge bases are characterized by certain...

Computational logics and the philosophy of language: the problem of lexical meaning in formal semantics.

Marcello Frixione (1996)

Mathware and Soft Computing

Similarity:

This paper deals with the possible contributions that logical researches carried on in the field of artificial intelligence (AI) could give to formal theories of meaning developed by logically oriented philosophers of language within the tradition of analytic philosophy. In particular, I will take into account a topic which is problematic in many respects for traditional logical accounts of meaning, i.e., the problem of lexical semantics. My thesis is that AI logics could give useful...

Inference in Action

Johan van Benthem (2007)

Publications de l'Institut Mathématique

Similarity:

Logic of existence and logic of knowledge. Epistemic and non epistemic aspects of logic

Michel Bourdeau (2003)

Philosophia Scientiae

Similarity:

Contrairement à ce qui a parfois été dit, la logique classique et la logique intuitionniste ne s’opposent pas comme une logique de l’existence à une logique de la connaissance. Les considérations épistémologiques trouvent naturellement leur place dans le cadre de la logique classique, sans qu’il soit nécessaire de faire intervenir aucun principe intuitionniste ; il suffit pour cela de reconnaître que la logique ne peut se passer de la notion d’assertion, ou si l’on préfère de jugement....