Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: koniunkcja

Sortuj według:

Ogranicz wyniki do:

On some properties of grounding nonuniform sets of modal conjunctions

Katarzyniak R. P.

International Journal of Applied Mathematics and Computer Science

2006

Vol. 16, no 3

399-412

A language grounding problem is considered for nonuniform sets of modal conjunctions consisting of conjunctions extended with more than one modal operator of knowledge, belief or possibility. The grounding is considered in the context of semiotic triangles built from language symbols, communicative cognitive agents and external objects. The communicative cognitive agents are assumed to be able to observe external worlds and store the results of observations in internal knowledge bases. It is assumed that the only meaning accessible to these agents and assigned to modal conjunctions can be extracted from these internal knowledge bases. Commonsense requirements are discussed for the phenomenon of grounding nonuniform sets of modal conjunctions and confronted with an original idea of epistemic satisfaction relation used to define proper conditions for language grounding. Theorems are formulated and proved to show that the communicative cognitive agents based on the proposed model of grounding fulfill some commonsense requirements given for processing sets of nonuniform modal conjunctions. The main result is that the communicative cognitive agents considered can be constructed in a way that makes them rational and intentional as regards the processing of modal conjunctions and from the human point of view.

Odrzuceniowa n-wartościowa logika Posta

Borowik A., Piech H.

Informatyka Teoretyczna i Stosowana

2001

R. 1, nr 1

119-136

Istotą rozważań jest wykorzystanie odpowiedniej formalizacji logiki - formalizacji odrzuceniowej wyrażeń i automatycznego dowodzenia twierdzeń w teoriach nadbudowanych nad n-wartościowymi rachunkami predykatów. Badania nad aksjomatycznym odrzucaniem zostały zapoczątkowane przez Łukasiewicza i kontynuowane wspólnie przez Słupeckiego, Brylla, Wybraniec-Skardowską, Maducha, a ostatnio Skurę. Badania nad naturalnym odrzucaniem ściśle związanym z metodą tablic semantycznych podjął ostatnio Bryll. Zbiór tautologii rachunku predykatów jest zbiorem nierozstrzygalnym, więc mechanizacja procesów jest taka, że dla każdego opracowanego algorytmu będzie istniała formuła, dla której ten algorytm dowodu nie znajdzie. Inaczej mówiąc, jeżeli dana formuła należy do konsekwencji matrycowej, to algorytm znajdzie dowód formuły w oparciu o zbiór X jako założeń w skończonej liczbie kroków.