Logical representations, Computer Engineering

Logical Representations:

If all human beings spoke the same language, there would be a much more less misunderstanding in the world. The problem regarding with software engineering in general is that there are oftenly slips in communication that mean, what we think we've told an agent and what we've actually told it are two different things. One way is to reduce this, naturally, is to justify and agree upon some concrete rules for the language we need to represent information. To justify a language, we use to specify the syntax of the language and semantics of language. To identify the syntax of a language, we must say what symbols are allowed in the language and what are legal constructions (sentences) requireing those symbols. To identify the semantics of a language, we might say that how the legal sentences are to be read, i.e., what they mean.

If we choose a particular well defined language and stick to it, that we are need a logical representation. Certain logics are very popular for the representation of information, and so range in terms of their expressiveness. Much more expressive logics allow us to translate more sentences from our natural language (e.g., English) in the language defined by the logic.

Posted Date: 1/10/2013 4:39:58 AM | Location : United States







Related Discussions:- Logical representations, Assignment Help, Ask Question on Logical representations, Get Answer, Expert's Help, Logical representations Discussions

Write discussion on Logical representations
Your posts are moderated
Related Questions
Q. How will these instructions perform? Let's assume that above machine instructions are stored in three consecutive memory locations 1, 2 and 3 and PC contains a value (1) tha

write a program that counts the number of occurrences of the string in the n-th Padovan string P(n)

Describe the additional characteristics needed for an e-commerce server? E-commerce services need dynamic configuration abilities and seasonal and every day service configurat

Can we run DOT.NET in UNIX platform? One of the drawbacks of using Visual Studio.NET and the .NET framework to develop applications has been the lack of cross-platform support

Modus ponens rule: In fact the general format for the modus ponens rule is as follows: like if we have a true sentence that states the proposition A implies proposition B and

What is the main function of the memory-management unit? The runtime mapping from virtual to physical addresses is done by a hardware device known as a memory management unit

Sixth Generation (1990 - ) This  generation  begun  with  many  gains  in  parallel  computing,  both  in  hardware area and in improved understanding of how to build up algori

Explain analysis and synthesis phase of a compiler. The synthesis and analysis phases of a compiler are: Analysis Phase: In this breaks the source program in constituent

Highlights of the RMTrack application: ? Web based access permits your users to access the database from anywhere. ? Available as a hosted solution or a download for local in

A Scanner is a device which allows you to capture photographs or drawings or text from tangible sources (paper or slides etc.) in electronic form. Scanners work by detecting differ